: 所有a是c如果S与M全异，且M真包含P，则下列命题中必然为真的是（）。